COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	If you prove P(a) and ¬P(a) then assume P(a) and ¬P(a').
C00004 ENDMK
C⊗;
If you prove P(a) and ¬P(a) then assume P(a) and ¬P(a').

Suppose we want to consider a circuit as a collection of features.
The collection may be compiled into a circuit, and some of
the aspects may affect the circuit by removal.  Thus we add
Black negative feedback by removing the grid bias resistor
bypass capacitor.

He has only one leg.

Improve something by adding features.  A list of changes.

Features are additive unless there is reason to the contrary.

A feature is often a provision that a certain intention be realized
or that it not be realized or that it be realized in one of 4
typical ways.

A feature is something that prevents certain circumscriptions.

"symptom" 

An entity has a collection of situational features and constructional
features.

Can this be applied to blocks world?